翻訳と辞書 Words near each other ・ lady ・ lag ・ lakota ・ lalr ・ lalr.ss ・ lambada-calculus ・ lambda ・ lambda abstraction ・ lambda expression ・ lambda lifting ・ lambda prolog ・ lambda-calculus ・ lambdamoo ・ lamer ・ lamina ・ lamp-post error ・ lan ・ lan administrator ・ lan kanal adapter ・ lan manager Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク lambda prolog ： FOLDOC Lambda Prolog An extension of standard Prolog defined by Dale A. Miller and Gopalan Nadathur in 1986, in which terms are strongly typed lambda terms. {Clauses} are {higher order} {hereditary Harrop formulas}. The main novelties are {universal quantification} on {goals} and {implication}. The Prolog/Mali compiler compiles Lambda Prolog for the MALI abstract memory system. {Teyjus (http://teyjus.cs.umn.edu/)} is an implementation of Lambda Prolog. {Lambda Prolog home (http://cse.psu.edu/~dale/lProlog/)}. Mailing list: lprolog@cs.umn.edu. ["Higher-order logic programming", Miller D.A. and Nadathur G., 3rd International Conference on Logic Programming, pp 448-462, London 1986]. [Nadathur G. "A Higher-Order Logic as a Basis for Logic Programming", Thesis, University of Pennsylvania, 1987]. (2002-10-15) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.